Roop, ParthaS: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Model-Driven Design Using IEC 61499 ||

Yoong, Li Hsien, Roop, Partha S., Bhatti, Zeeshan E., Kuo, Matthew M. Y.

Year:

2015

Language:

english

File:

PDF, 8.82 MB

english, 2015

2

[IEEE 2013 IEEE International Conference on Web Services (ICWS) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE 20th International Conference on Web Services - Stateful Web Services -- Auto Modeling and Composition

Ali, Syed Adeel, Roop, Partha S., Warren, Ian

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

3

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Programming and Timing Analysis of Parallel Programs on Multicores

Yip, Eugene, Roop, Partha S., Biglari-Abhari, Morteza, Girault, Alain

Year:

2013

Language:

english

File:

PDF, 389 KB

english, 2013

4

A Predictable Framework for Safety-Critical Embedded Systems

Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus

Journal:

IEEE Transactions on Computers

Year:

2014

Language:

english

File:

PDF, 1.83 MB

english, 2014

5

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Reengineering of IEC 61131 into IEC 61499 Function Blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2010

Language:

english

File:

PDF, 349 KB

english, 2010

6

Unified Functional Safety Assessment of Industrial Automation Systems

Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak

Journal:

IEEE Transactions on Industrial Informatics

Year:

2016

Language:

english

File:

PDF, 1.48 MB

english, 2016

7

[IEEE 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) - Lyon, France (2016.9.21-2016.9.23)] 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC) - The ForeC Synchronous Deterministic Parallel Programming Language for Multicores

Yip, Eugene, Girault, Alain, Roop, Partha S., Biglari-Abhari, Morteza

Year:

2016

Language:

english

File:

PDF, 202 KB

english, 2016

8

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - Securing implantable medical devices with runtime enforcement hardware

Pearce, Hammond, Kuo, Matthew M. Y., Roop, Partha S., Pinisetty, Srinivas

Year:

2019

Language:

english

File:

PDF, 370 KB

english, 2019

9

A New Safety Distance Calculation for Rear-End Collision Avoidance

Ro, Jin Woo, Roop, Partha S., Malik, Avinash

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2020

Language:

english

File:

PDF, 1.61 MB

english, 2020

10

Adaptive Verification using Forced Simulation

Roopak Sinha, Partha S. Roop, Bakhadyr Khoussainov

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 442 KB

english, 2005

11

Local Module Checking for CTL Specifications

Samik Basu, Partha S Roop, Roopak Sinha

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 365 KB

english, 2007

12

HiDRA—A reactive multiprocessor architecture for heterogeneous embedded systems

Zoran Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari

Journal:

Microprocessors and Microsystems

Year:

2006

Language:

english

File:

PDF, 190 KB

english, 2006

13

SystemJ: A GALS language for system level design

Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault

Journal:

Computer Languages, Systems & Structures

Year:

2010

Language:

english

File:

PDF, 872 KB

english, 2010

14

STARPro — A new multithreaded direct execution platform for Esterel

Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran Salcic

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

15

A Model Checking Approach to Protocol Conversion

Roopak Sinha, Partha S. Roop, Samik Basu

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 328 KB

english, 2008

16

Precise specification matching for adaptive reuse in embedded systems

Hai-Feng Guo, Miao Liu, Partha S. Roop, C.R. Ramakrishnan, I.V. Ramakrishnan

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 436 KB

english, 2007

17

REFLIX: a processor core with native support for control-dominated embedded applications

Zoran Salcic, Partha Roop, Morteza Biglari-Abhari, Abbas Bigdeli

Journal:

Microprocessors and Microsystems

Year:

2004

Language:

english

File:

PDF, 337 KB

english, 2004

18

An overview of MICKEY: A knowledge-based hardware-software codesign framework for microprocessor-based systems

Raj S Mitra, Partha S Roop, Anupam Basu

Journal:

Year:

1996

Language:

english

File:

PDF, 1.13 MB

english, 1996

19

[IEEE 21st International Conference on VLSI Design (VLSID 2008) - Hyderabad, India (2008.01.4-2008.01.8)] 21st International Conference on VLSI Design (VLSID 2008) - A Module Checking Based Converter Synthesis Approach for SoCs

Sinha, Roopak, Roop, Partha S., Basu, Samik

Year:

2008

Language:

english

File:

PDF, 1.43 MB

english, 2008

20

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - McCharts and Multiclock FSMs for modeling large scale systems

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Year:

2007

Language:

english

File:

PDF, 261 KB

english, 2007

21

[IEEE 2013 13th International Conference on Application of Concurrency to System Design (ACSD) - Barcelona, Spain (2013.07.8-2013.07.10)] 2013 13th International Conference on Application of Concurrency to System Design - Precision Timed Embedded Systems Using TickPAD Memory

Kuo, Matthew, Roop, Partha, Andalam, Sidharta, Patel, Nitish

Year:

2013

Language:

english

File:

PDF, 731 KB

english, 2013

22

[IEEE 2011 14th Euromicro Conference on Digital System Design (DSD) - Oulu, Finland (2011.08.31-2011.09.2)] 2011 14th Euromicro Conference on Digital System Design - Compiling Esterel for Multi-core Execution

Yuan, Simon, Yoong, Li Hsien, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 463 KB

english, 2011

23

[IEEE Factory Automation (ETFA 2009) - Palma de Mallorca, Spain (2009.09.22-2009.09.25)] 2009 IEEE Conference on Emerging Technologies & Factory Automation - A hierarchical and concurrent approach for IEC 61499 function blocks

Shaw, Gareth D., Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 440 KB

english, 2009

24

[IEEE 2007 5th IEEE International Conference on Industrial Informatics - Vienna, Austria (2007.06.23-2007.06.27)] 2007 5th IEEE International Conference on Industrial Informatics - Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Li Hsien Yoong,, Roop, Partha, Vyatkin, Valeriy, Salcic, Zoran

Year:

2007

Language:

english

File:

PDF, 811 KB

english, 2007

25

[IEEE 2009 IEEE International Conference on Industrial Technology - (ICIT) - Churchill, Victoria, Australia (2009.02.10-2009.02.13)] 2009 IEEE International Conference on Industrial Technology - Efficient implementation of IEC 61499 function blocks

Li Hsien Yoong,, Roop, Partha S., Salcic, Zoran

Year:

2009

Language:

english

File:

PDF, 329 KB

english, 2009

26

[IEEE 2011 IEEE 6th International Workshop on Electronic Design, Test and Application (DELTA) - Queenstown, New Zealand (2011.01.17-2011.01.19)] 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application - Environment Modelling for Tighter Timing Analysis of Synchronous Programs

Andalam, Sidharta, Sinha, Roopak, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 491 KB

english, 2011

27

[IEEE 2009 Ninth International Conference on Application of Concurrency to System Design (ACSD) - Augsburg, Germany (2009.07.1-2009.07.3)] 2009 Ninth International Conference on Application of Concurrency to System Design - Specification Enforcing Refinement for Convertibility Verification

Roop, Partha, Girault, Alain, Sinha, Roopak, Goessler, Gregor

Year:

2009

Language:

english

File:

PDF, 298 KB

english, 2009

28

[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Predictable multithreading of embedded applications using PRET-C

Andalam, Sidharta, Roop, Partha, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 494 KB

english, 2010

29

Design of Distributed Heterogeneous Embedded Systems in DDFCharts

Radojevic, Ivan, Salcic, Zoran, Roop, Partha

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2011

Language:

english

File:

PDF, 2.31 MB

english, 2011

30

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Deterministic, predictable and light-weight multithreading using PRET-C

Andalam, Sidharta, Roop, Partha S, Girault, Alain

Year:

2010

Language:

english

File:

PDF, 183 KB

english, 2010

31

[IEEE 2011 9th IEEE International Conference on Industrial Informatics (INDIN) - Lisbon, Portugal (2011.07.26-2011.07.29)] 2011 9th IEEE International Conference on Industrial Informatics - Observer based verification of IEC 61499 function blocks

Bhatti, Zeeshan E., Sinha, Roopak, Roop, Partha S.

Year:

2011

Language:

english

File:

PDF, 1.05 MB

english, 2011

32

[IEEE 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES) - ILPc: A novel approach for scalable timing analysis of synchronous programs

Wang, Jia Jie, Roop, Partha S., Andalam, Sidharta

Year:

2013

Language:

english

File:

PDF, 2.95 MB

english, 2013

33

[IEEE 2008 13th Asia-Pacific Computer Systems Architecture Conference (ACSAC) - Hsinchu (2008.08.4-2008.08.6)] 2008 13th Asia-Pacific Computer Systems Architecture Conference - Tandem virtual machine — An efficient execution platform for GALS language SystemJ

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Year:

2008

Language:

english

File:

PDF, 602 KB

english, 2008

34

[IEEE 2010 8th IEEE International Conference on Industrial Informatics (INDIN) - Osaka, Japan (2010.07.13-2010.07.16)] 2010 8th IEEE International Conference on Industrial Informatics - Determining the worst-case reaction time of IEC 61499 function blocks

Kuo, Matthew M Y, Yoong, Li Hsien, Andalam, Sidharta, Roop, Partha S

Year:

2010

Language:

english

File:

PDF, 880 KB

english, 2010

35

[IEEE 2014 IEEE Emerging Technology and Factory Automation (ETFA) - Barcelona, Spain (2014.9.16-2014.9.19)] Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA) - A model-driven approach with synchronous semantics for developing hard real-time WSNs

Ro, Jin Woo, Bhatti, Zeeshan E., Roop, Partha S.

Year:

2014

Language:

english

File:

PDF, 1.72 MB

english, 2014

36

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - REMIC

Salcic, Zoran, Hui, Dong, Roop, Partha, Biglari-Abhari, Morteza

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

37

Forced simulation: A technique for automating component reuse in embedded systems

Roop, Partha S., Sowmya, A., Ramesh, S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2001

Language:

english

File:

PDF, 277 KB

english, 2001

38

[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Precise timing analysis for direct-mapped caches

Andalam, Sidharta, Girault, Alain, Sinha, Roopak, Roop, Partha, Reineke, Jan

Year:

2013

Language:

english

File:

PDF, 634 KB

english, 2013

39

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2014

Language:

english

File:

PDF, 5.33 MB

english, 2014

40

Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation

Hanxleden, Reinhard Von, Mendler, Michael, Aguado, Joaquín, Duderstadt, Björn, Fuhrmann, Insa, Motika, Christian, Mercer, Stephen, O'brien, Owen, Roop, Partha

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2014

Language:

english

File:

PDF, 2.40 MB

english, 2014

41

SystemJ compilation using the tandem virtual machine approach

Malik, Avinash, Salcic, Zoran, Roop, Partha S.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2009

Language:

english

File:

PDF, 658 KB

english, 2009

42

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Efficient WCRT analysis of synchronous programs using reachability

Kuo, Matthew, Sinha, Roopak, Roop, Partha

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

43

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - Towards direct execution of esterel programs on reactive processors

Roop, Partha S., Salcic, Zoran, Dayaratne, M.W. Sajeewa

Year:

2004

Language:

english

File:

PDF, 263 KB

english, 2004

44

Implementing constrained cyber-physical systems with IEC 61499

Yoong, Li Hsien, Roop, Partha S., Salcic, Zoran

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 694 KB

english, 2012

45

[ACM Press the 2001 conference - Yokohama, Japan (2001..-..)] Proceedings of the 2001 conference on Asia South Pacific design automation - ASP-DAC '01 - A formal approach to component based development of synchronous programs

Roop, Partha S., Sowmya, A., Ramesh, S.

Year:

2001

Language:

english

File:

PDF, 206 KB

english, 2001

46

[IEEE 2014 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - Berlin, Germany (2014.4.15-2014.4.17)] 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) - Relaxing the synchronous approach for mixed-criticality systems

Yip, Eugene, Kuo, Matthew M Y, Roop, Partha S, Broman, David

Year:

2014

Language:

english

File:

PDF, 1.99 MB

english, 2014

47

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks

Hikmet, Mahmood, Roop, Partha, Ranjitkar, Prakash

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

48

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks

Sinha, Roopak, Roop, Partha, Shaw, Gareth, Salcic, Zoran, Kuo, Matthew

Journal:

IEEE Transactions on Industrial Informatics

Year:

2015

Language:

english

File:

PDF, 1.21 MB

english, 2015

49

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499

Yoong, Li Hsien, Shaw, Gareth Darcy, Roop, Partha S, Salcic, Zoran

Journal:

IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)

Year:

2012

Language:

english

File:

PDF, 927 KB

english, 2012

50

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Synthesizing Multirate Programs from IEC 61499

Yoong, Li Hsien, Roop, Partha S.

Year:

2015

Language:

english

File:

PDF, 329 KB

english, 2015